Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
71	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming
72	F# Succinct, Expressive, Functional The F# Team Microsoft Developer Division Microsoft Research Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:30 Mathematical notation Tuple Type theory Function Fold Mathematics Higher-order functions Data management
73	Zef : A Computer Vision Library for Haskell Saumitro Dasgupta Department of Computer Science Stanford University Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Functional languages Higher-order functions Haskell Literate programming OpenCV Map Fold ML Function Software engineering Computing Computer programming
74	On Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Functional programming Lisp programming language Higher-order functions Data types Recursion Append Fold List Map Software engineering Computing Computer programming
75	Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 02:47:30 Higher-order functions Functional programming Adjoint functors Fold Recursion Programming paradigms Map Monad Unification Software engineering Declarative programming Computing
76	Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Higher-order functions Model theory Graph theory Mathematical induction Structural induction Fold Map List Interpretation Software engineering Mathematics Computing
77	hiJaC Higher-Order UTP for Theories of Object-Orientation Frank Zeyda and Ana Cavalcanti University of York (UK) Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:36:54 Formal methods Mathematics Computability theory Functions and mappings Predicate logic Mereology Logic
78	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
79	Addi$onal Meta-‐Proper$es in ES7 Allen Wirfs-‐Brock See h;ps://github.com/allenwb/ESideas/blob/master/ES7MetaProps.md Add to Reading List Source URL: esdiscuss.org Language: English Higher-order functions Map Parameter Scope Software engineering Computing Subroutines
80	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing

UPDATE